/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package logic;

/**
 *
 * @author phong
 */
public class UnknownType extends Type {

    protected UnknownType(){}

    @Override
    public boolean equals(Object o) {
        return o == this;
    }

    @Override
    public boolean matches(Type other) {
        return true;
    }

    @Override
    public Type resolve(Type other) {
        return other;
    }

    @Override
    public String toString() {
        return "?";
    }

    @Override
    public String getName() {
        return "ANY";
    }
}
